<?php
$data = file_get_contents('zhibodata.txt');
$data = json_decode($data, true);
echo json_encode(['play_url' => $data['play']]);